Mine de crayon (n.f.)